Formal systems

Results: 1365



#Item
351Cybernetics / Formal sciences / Systems science / Control engineering / Electrical engineering / Systems engineering process / Control theory / Sokoine University of Agriculture / Systems engineering / Engineering / Science

Microsoft Word - Control_automation_godkendt

Add to Reading List

Source URL: www.sict.aau.dk

Language: English - Date: 2012-04-11 07:01:50
352Software engineering / Unified Modeling Language / Electronic engineering / Formal methods / Systems engineering / Computing / Esterel / Systems Modeling Language / SIGNAL / Hardware description languages / Synchronous programming languages / Esterel Technologies

PDF Document

Add to Reading List

Source URL: www.esterel-technologies.com

Language: English - Date: 2015-03-18 06:17:22
353Validity / Science / Software engineering / Systems science / Formal methods / Verification and validation / Systems engineering process / Validation / Software development process / Systems engineering / Software development / Pharmaceutical industry

Microsoft Word - simTD@RE2011_final

Add to Reading List

Source URL: www.simtd.de

Language: English - Date: 2014-02-24 04:48:29
354Validity / Science / Software engineering / Systems science / Formal methods / Verification and validation / Systems engineering process / Validation / Software development process / Systems engineering / Software development / Pharmaceutical industry

Microsoft Word - simTD@RE2011_final

Add to Reading List

Source URL: simtd.de

Language: English - Date: 2014-02-18 10:24:21
355Systems theory / Systems science / Control theory / Automation / Systems engineering / National Technical Information Service / Electrical engineering / Control system / Data mining / Control engineering / Formal sciences / Science

Contents EUROPEAN UNION EUROPEAN REGIONAL DEVELOPMENT FUND

Add to Reading List

Source URL: www.ntis.zcu.cz

Language: English - Date: 2012-08-18 15:14:49
356Validity / Science / Software engineering / Systems science / Formal methods / Verification and validation / Systems engineering process / Validation / Software development process / Systems engineering / Software development / Pharmaceutical industry

Microsoft Word - simTD@RE2011_final

Add to Reading List

Source URL: simtd.de

Language: English - Date: 2014-02-24 04:48:29
357Formal sciences / Visualization / Database management systems / Business intelligence / Data analysis / Big data / Data visualization / Computing / Analytics / Science / Data management / Technology

Delft Data Science Seminar January 26, 2015 Big Data Analytics for Cyber Situational Awareness

Add to Reading List

Source URL: www.delftdatascience.tudelft.nl

Language: English - Date: 2015-02-06 04:39:46
358Formal sciences / Data management / Analytics / Mathematical finance / Geographic information system / National Crime Records Bureau / Predictive analytics / Business intelligence / Statistics / Business

Notice for EoI CRIME AND CRIMINAL TRACKING NETWORK AND SYSTEMS (CCTNS) PROJECT

Add to Reading List

Source URL: www.ncrb.gov.in

Language: English - Date: 2012-01-12 04:01:12
359Validity / Science / Software engineering / Systems science / Formal methods / Verification and validation / Systems engineering process / Validation / Software development process / Systems engineering / Software development / Pharmaceutical industry

Microsoft Word - simTD@RE2011_final

Add to Reading List

Source URL: simtd.de

Language: English - Date: 2014-02-24 04:48:29
360Validity / Science / Software engineering / Systems science / Formal methods / Verification and validation / Systems engineering process / Validation / Software development process / Systems engineering / Software development / Pharmaceutical industry

Microsoft Word - simTD@RE2011_final

Add to Reading List

Source URL: www.simtd.de

Language: English - Date: 2014-02-18 10:24:21
UPDATE